auxiliary constant

辅助常数